1841. Schaum's outline of theory and problems of discrete mathematics
پدیدآورنده : Lipschutz, Seymour
موضوع : ، Logic, symbolic and mathematical - outlines, syllabi, etc
۸ نسخه از این کتاب در ۷ کتابخانه موجود است.
1842. Schaum's outline of theory and problems of discrete mathematics
پدیدآورنده : / Seymour Lipschutz, Marc Lars Lipson
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA162
.
L56
1997
1843. Schaum's outline of theory and problems of discrete mathematics
پدیدآورنده : Lipschutz, Seymour
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Algebra, Abstract -- Outlines, syllabi, etc,، Combinatorial analysis -- Outlines, syllabi, etc,، Logic, Symbolic and mathematical -- Outlines, syllabi, etc
رده :
QA
162
.
L56
1844. Schaum's outline of theory and problems of discrete mathematics
پدیدآورنده : / by Seymoure Lipschutz
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Algebra, Abstract- Outlines, syllabi, etc.,Combinatorial analysis- Outlines, syllabi, etc.,Logic, Symbolic and mathematical- Outlines syllabi, etc.
رده :
QA162
.
L56
1845. Schaum's outline of theory and problems of discrete mathematics
پدیدآورنده : / by Seymour Lipschutz
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA162
.
L56
1846. Schaum s outline of theory & problems of discrete mathematics
پدیدآورنده : LIPSCHUTZ,SEYMOUR
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ALGEBRA,ABSTRACT-OUTLINES,SYLLABI,ETC , COMBINATORIAL ANALYSIS-OUTLINES, , LOGIC,SYMBOLIC & MATHEMATICAL-
رده :
QA
162
.
L5
1847. Scheduling in Parallel Computing Systems
پدیدآورنده : by Shaharuddin Salleh, Albert Y. Zomaya.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Information theory.,Logic, Symbolic and mathematical.
1848. Schriften zur Logik
پدیدآورنده : / Gottlob Frege,Frege
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Logic,Logic, Symbolic and mathematical
رده :
B
3245
.
F2
1973
1849. Selected Logic Papers
پدیدآورنده : Quine, Willard Van Orman
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
B
945
.
Q53
S45
1995
1850. Selected logic papers
پدیدآورنده : Quine, Willard Van Orman, 8091-0002
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
B
945
.
Q53S4
1851. Selected logic papers
پدیدآورنده : Sacks, Gerald E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
2
.
S23
1999
1852. Selected topics in algebra and its interrelation with logic, number theory, and algebric geometry
پدیدآورنده : Bucur, Ionel
موضوع : ، Algebra,، Geometry, Algebraic,، Logic, symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
1853. Selected works
پدیدآورنده : Lukasiewicz, Jan
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Addresses, Essays, lectures ، Logic, Symbolic and mathematical
رده :
BC
135
.
L825
1854. Semi-Markov Models and Applications
پدیدآورنده : edited by Jacques Janssen, Nikolaos Limnios.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Number theory.,Statistics.,Systems theory.
1855. Semirings and Affine Equations over Them: Theory and Applications
پدیدآورنده : by Jonathan S. Golan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Computational complexity.,Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.
1856. Semirings and their Applications
پدیدآورنده : by Jonathan S. Golan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Computational complexity.,Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.
1857. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
پدیدآورنده : Mostowski, Andrzej.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
رده :
QA
9
.
65
.
M68
1858. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
پدیدآورنده : Mostowski, Andrzej
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
رده :
BC
135
.
M6
1859. Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Godel
پدیدآورنده :
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Logic, Symbolic and mathematical,Semantics (Philosophy),Godel, Kurt
رده :
BC
135
.
M6
1860. Sequents and trees :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
